Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun computing theory Any of a family of
functionally complete algebraic systems in whichlambda expressions are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions.
Etymologies
from Wiktionary, Creative Commons Attribution/Share-Alike License
Coined by Alonzo Church after the use of the Greek letter lambda (λ) as the basic abstraction operator in the calculus.
Support
Help support Wordnik (and make this page ad-free) by adopting the word lambda calculus.
Examples
Sorry, no example sentences found.
whichbe commented on the word lambda calculus
The forbidden math.
November 7, 2008
sionnach commented on the word lambda calculus
Is this like "the calculus that dare not say its name"?
November 7, 2008